∀(x: T) -> U
